deduction theorem - Allemand Anglais Dictionnaire